Новый философский словарь - логицизм
Связанные словари
Логицизм
логицизм
философская доктрина, сводящая все науки к математической форме и превращающая саму математику в логический инструмент. Один из основателей логицизма — Бертран Рассел.
Рейтинг статьи:
См. в других словарях
1.
— направление в философии математики, возникшее в конце XIX — начале XX в. Его основоположниками были Г. Фреге и Б. Рассел. Сущность логицизма состояла в стремлении свести математику к логике (математической) и таким образом обосновать истинность и непротиворечивость математики. Первую серьезную попытку в этом направлении предпринял Г. Фреге, определив основные понятия арифметики натуральных чисел (натуральное число, сложение и умножение) в терминах логики (класс, дизъюнкция, конъюнкция). Так, натуральное число определялось как класс всех равночисленных классов (определение натурального числа Фреге —Рассела). К тому времени уже была показана принципиальная возможность сведения всей математики либо к теории множеств (теоретико-множественная интерпретация и обоснование всех разделов и теорий математики), либо к арифметике натуральных чисел, а сами теория множеств и арифметика натуральных чисел были построены аксиоматически (последнее было осуществлено в конце XIX в. школой Пеано). Таким образом, проблема сведения математики к логике сводилась в принципе к решению вполне обозримой проблемы: переформулировке аксиом...Философия науки
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 943 | |
2 | 712 | |
3 | 688 | |
4 | 643 | |
5 | 626 | |
6 | 597 | |
7 | 545 | |
8 | 526 | |
9 | 494 | |
10 | 488 | |
11 | 478 | |
12 | 454 | |
13 | 440 | |
14 | 433 | |
15 | 427 | |
16 | 416 | |
17 | 410 | |
18 | 409 | |
19 | 399 | |
20 | 395 |